Art. VI.—Assyrian Tests Translated

"Bottom, Thou Art Translated": The Making of VRML Dream

n the late summer of 1997, we sat in a pub in Toronto, Canada, and began planning an ambitious project: to create a new entertainment medium. The idea was to mount a live performance of Shakespeare's A Midsummer Night's Dream and " broadcast " it over the Internet. The sets, props, and all the characters were to be modeled using the Virtual Reality Modeling Language (VRML) 2.0. A group of actor...

Spi Calculus Translated to ?--Calculus Preserving May-Tests

We present a concise and natural encoding of the spicalculus into the more basic π-calculus and establish its correctness with respect to a formal notion of testing. This is particularly relevant for security protocols modelled in spi since the tests can be viewed as adversaries. The translation has been implemented in a prototype tool. As a consequence, protocols can be described in the spi ca...

Translated Content

To support the international open standards community, information on OASIS is available in several languages:

Metadiscourse Markers: A Contrastive Study of Translated and Non-Translated Persuasive Texts

Metadiscourse features are those facets of a text, which make the organization of the text explicit, provide information about the writer's attitude toward the text content, and engage the reader in the interaction. This study interpreted metadiscourse markers in translated and non-translated persuasive texts. To this end, the researcher chose the translated versions of one of the leading newsp...

Translated Content